<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "https://www.w3.org/TR/html4/loose.dtd">
<html lang="zh-CN"><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"><meta http-equiv="Content-Language" content="zh-CN"><link href="stylesheet.css" media="all" rel="stylesheet" type="text/css">
<title>Rules on INSERT, UPDATE, and DELETE</title>
<script> var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?d286c55b63a3c54a1e43d10d4c203e75"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); </script>
</head><body class="SECT1">
<div>
<table summary="Header navigation table" width="100%" border="0" cellpadding="0" cellspacing="0">
<tr><th colspan="5" align="center" valign="bottom">PostgreSQL 8.2.3 中文文档</th></tr>
<tr><td width="10%" align="left" valign="top"><a href="rules-views.html" accesskey="P">后退</a></td><td width="10%" align="left" valign="top"><a href="rules.html">快退</a></td><td width="60%" align="center" valign="bottom">章35. 规则系统</td><td width="10%" align="right" valign="top"><a href="rules.html">快进</a></td><td width="10%" align="right" valign="top"><a href="rules-privileges.html" accesskey="N">前进</a></td></tr>
</table>
<hr align="LEFT" width="100%"></div>
<div class="SECT1"><h1 class="SECT1"><a name="RULES-UPDATE">35.3. 在 <tt class="COMMAND">INSERT</tt>, <tt class="COMMAND">UPDATE</tt>, <tt class="COMMAND">DELETE</tt> 上的规则</a></h1><a name="AEN38819"></a><a name="AEN38822"></a><a name="AEN38825"></a>
<p>定义在 <tt class="COMMAND">INSERT</tt>, <tt class="COMMAND">UPDATE</tt>, <tt class="COMMAND">DELETE</tt> 上的规则与前一章描述的视图规则完全不同。首先，他们的 <tt class="COMMAND">CREATE RULE</tt> 命令允许更多：</p>
<ul>
<li><p>它们可以没有动作。</p></li>
<li><p>它们可以有多个动作。</p></li>
<li><p>他们可以是 <tt class="LITERAL">INSTEAD</tt> 或 <tt class="LITERAL">ALSO</tt>(缺省)。</p></li>
<li><p>伪关系 <tt class="LITERAL">NEW</tt> 和 <tt class="LITERAL">OLD</tt> 变得有用了。</p></li>
<li><p>它们可以有规则资格条件。</p></li>
</ul>
<p>第二，它们不是就地修改查询树，而是创建零个或多个新查询树并且可能把原始的那个仍掉。</p>
<div class="SECT2"><h2 class="SECT2"><a name="AEN38848">35.3.1. 更新规则是如何运转的</a></h2>
<p>把下面语法</p>
<pre class="PROGRAMLISTING">CREATE [ OR REPLACE ] RULE <tt class="REPLACEABLE"><i>name</i></tt> AS ON <tt class="REPLACEABLE"><i>event</i></tt>
    TO <tt class="REPLACEABLE"><i>table</i></tt> [ WHERE <tt class="REPLACEABLE"><i>condition</i></tt> ]
    DO [ ALSO | INSTEAD ] { NOTHING | <tt class="REPLACEABLE"><i>command</i></tt> | ( <tt class="REPLACEABLE"><i>command</i></tt> ; <tt class="REPLACEABLE"><i>command</i></tt> ... ) }</pre>
<p>牢牢记住。在随后的内容里，"<i class="FIRSTTERM">update rules</i>"(更新规则)意思是定义在 <tt class="COMMAND">INSERT</tt>, <tt class="COMMAND">UPDATE</tt>, <tt class="COMMAND">DELETE</tt> 上的规则。</p>
<p>如果查询树的结果关系和命令类型与 <tt class="COMMAND">CREATE RULE</tt>命令里给出的对象和事件一样的话，规则系统就把更新规则应用上去。对于更新规则，规则系统创建一个查询树列表。一开始查询树是空的，这里可以有零个(<tt class="LITERAL">NOTHING</tt> 关键字)、一个、或多个动作。为简单起见，先看一个只有一个动作的规则。这个规则可以有零个或一个条件并且它可以是 <tt class="LITERAL">INSTEAD</tt> 或 <tt class="LITERAL">ALSO</tt>(缺省)。</p>
<p>何为规则条件?它是一个限制条件，告诉规则动作什么时候要做，什么时候不要做。这个条件可以只引用 <tt class="LITERAL">NEW</tt> 和/或 <tt class="LITERAL">OLD</tt> 伪关系，它们基本上是代表以对象形式给出的基本关系(但是有着特殊含义)。</p>
<p>所以，对这个单动作的规则生成查询树，有下面四种情况。</p>
<div class="VARIABLELIST">
<dl>
<dt>没有条件，也没有 <tt class="LITERAL">ALSO</tt> 或 <tt class="LITERAL">INSTEAD</tt></dt>
<dd><p>来自规则动作的查询树，附加了原始查询树的条件。</p></dd>
<dt>给出了条件，有 <tt class="LITERAL">ALSO</tt></dt>
<dd><p>来自规则动作的带有规则条件的查询树并且附加了原始查询树的条件。</p></dd>
<dt>给出了条件，有 <tt class="LITERAL">INSTEAD</tt></dt>
<dd><p>来自规则动作带有规则条件的查询树以及原始查询树的条件；以及附加了相反规则条件的原始查询树。</p></dd>
</dl>
</div>
<p>最后，如果规则是 <tt class="LITERAL">ALSO</tt> ，那么最初未修改的查询树被加入到列表。因为只有合格的 <tt class="LITERAL">INSTEAD</tt> 规则已经在初始的查询树里面，所以对于单动作规则最终得到一个或者两个查询树。</p>
<p>对于 <tt class="LITERAL">ON INSERT</tt> 规则，原来的查询(如果没有被 <tt class="LITERAL">INSTEAD</tt> 取代)是在任何规则增加的动作之前完成的。这样就允许动作看到插入的行。但是对 <tt class="LITERAL">ON UPDATE</tt> 和 <tt class="LITERAL">ON DELETE</tt> 规则，原来的查询是在规则增加的动作之后完成的。这样就确保动作可以看到将要更新或者将要删除的行；否则，动作可能什么也不做，因为它们发现没有符合它们要求的行。</p>
<p>从规则动作生成的查询树被再次送到重写系统，并且可能附加更多的规则，结果是更多的或更少的查询树。所以规则动作必须是另一个命令类型或者和规则所在的关系不同的另一个结果关系。否则这样的递归过程就会没完没了(规则的递规展开会被检测到，并当作一个错误报告)。</p>
<p>在 <tt class="STRUCTNAME">pg_rewrite</tt> 系统表中 action 里的查询树只是模板。因为他们可以引用范围表的 <tt class="LITERAL">NEW</tt> 和 <tt class="LITERAL">OLD</tt> ，在使用它们之前必须做一些调整。对于任何对 <tt class="LITERAL">NEW</tt> 的引用，都要先在初始查询的目标列中搜索对应的条目。如果找到，把该条目表达式放到引用里。否则 <tt class="LITERAL">NEW</tt> 和 <tt class="LITERAL">OLD</tt> 的含义一样(<tt class="COMMAND">UPDATE</tt>)或者被 NULL 替代(<tt class="COMMAND">INSERT</tt>)。任何对 <tt class="LITERAL">OLD</tt> 的引用都用结果关系的范围表的引用替换。</p>
<p>在系统完成更新规则的附加之后，它再附加视图规则到生成的查询树上。视图无法插入新的更新动作，所以没有必要向视图重写的输出附加更新规则。</p>
<div class="SECT3"><h3 class="SECT3"><a name="AEN38908">35.3.1.1. 循序渐进的第一个规则</a></h3>
<p>假设希望跟踪 <tt class="LITERAL">shoelace_data</tt> 关系中的 <tt class="LITERAL">sl_avail</tt> 字段。所以设置一个日志表和一条规则，这条规则每次在用 <tt class="COMMAND">UPDATE</tt> 更新 <tt class="LITERAL">shoelace_data</tt> 表时都要往数据库里写一条记录。</p>
<pre class="PROGRAMLISTING">CREATE TABLE shoelace_log (
    sl_name    text,          -- 鞋带变化了
    sl_avail   integer,       -- 新的可用数值
    log_who    text,          -- 谁干的
    log_when   timestamp      -- 什么时候
);

CREATE RULE log_shoelace AS ON UPDATE TO shoelace_data
    WHERE NEW.sl_avail &lt;&gt; OLD.sl_avail
    DO INSERT INTO shoelace_log VALUES (
                                    NEW.sl_name,
                                    NEW.sl_avail,
                                    current_user,
                                    current_timestamp
                                );</pre>
<p>现在有人键入：</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data SET sl_avail = 6 WHERE sl_name = 'sl7';</pre>
<p>然后看看日志表：</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace_log;

 sl_name | sl_avail | log_who | log_when
---------+----------+---------+----------------------------------
 sl7     |        6 | Al      | Tue Oct 20 16:14:45 1998 MET DST
(1 row)</pre>
<p>这是想要的。后端发生的事情如下。分析器创建查询树</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data SET sl_avail = 6
  FROM shoelace_data shoelace_data
 WHERE shoelace_data.sl_name = 'sl7';</pre>
<p>这里是一个带有条件表达式的 <tt class="LITERAL">ON UPDATE</tt> 规则 <tt class="LITERAL">log_shoelace</tt> 。</p>
<pre class="PROGRAMLISTING">NEW.sl_avail &lt;&gt; OLD.sl_avail</pre>
<p>和动作</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       *NEW*.sl_name, *NEW*.sl_avail,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*;</pre>
<p>这个输出看起来有点奇怪，因为你不能写 <tt class="LITERAL">INSERT ... VALUES ... FROM</tt> 。这里的 <tt class="LITERAL">FROM</tt> 子句只是表示查询树里有用于 <tt class="LITERAL">*NEW*</tt> 和 <tt class="LITERAL">*OLD*</tt> 的范围表记录。这些东西的存在是因为这样一来它们就可以被 <tt class="COMMAND">INSERT</tt> 命令的查询树里的变量引用。</p>
<p>该规则是一个有条件的 <tt class="LITERAL">ALSO</tt> 规则，所以规则系统必须返回两个查询树：更改过的规则动作和原始查询树。在第一步里，原始查询的范围表集成到规则动作查询树里。生成：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       *NEW*.sl_name, *NEW*.sl_avail,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*,
       <b class="EMPHASIS">shoelace_data shoelace_data</b>;</pre>
<p>第二步把规则条件增加进去，所以结果集限制为 <tt class="LITERAL">sl_avail</tt> 改变了的行：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       *NEW*.sl_name, *NEW*.sl_avail,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*,
       shoelace_data shoelace_data
 <b class="EMPHASIS">WHERE *NEW*.sl_avail &lt;&gt; *OLD*.sl_avail</b>;</pre>
<p>这个东西看起来更奇怪，因为 <tt class="LITERAL">INSERT ... VALUES</tt> 也没有 <tt class="LITERAL">WHERE</tt> 子句，不过规划器和执行器对此并不在意。它们毕竟还要为 <tt class="LITERAL">INSERT ... SELECT</tt> 支持这种功能。</p>
<p>第三步把原始查询树的条件加进去，把结果集进一步限制成只有被初始查询树改变的行：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       *NEW*.sl_name, *NEW*.sl_avail,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*,
       shoelace_data shoelace_data
 WHERE *NEW*.sl_avail &lt;&gt; *OLD*.sl_avail
   <b class="EMPHASIS">AND shoelace_data.sl_name = 'sl7'</b>;</pre>
<p>第四步把 <tt class="LITERAL">NEW</tt> 引用替换为从原始查询树的目标列来的或从结果关系来的相匹配的变量引用：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       <b class="EMPHASIS">shoelace_data.sl_name</b>, <b class="EMPHASIS">6</b>,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*,
       shoelace_data shoelace_data
 WHERE <b class="EMPHASIS">6</b> &lt;&gt; *OLD*.sl_avail
   AND shoelace_data.sl_name = 'sl7';</pre>
<p>第五步用结果关系引用把 <tt class="LITERAL">OLD</tt> 引用替换掉：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       shoelace_data.sl_name, 6,
       current_user, current_timestamp )
  FROM shoelace_data *NEW*, shoelace_data *OLD*,
       shoelace_data shoelace_data
 WHERE 6 &lt;&gt; <b class="EMPHASIS">shoelace_data.sl_avail</b>
   AND shoelace_data.sl_name = 'sl7';</pre>
<p>这就成了。因为规则 <tt class="LITERAL">ALSO</tt> 还输出原始查询树。简而言之，从规则系统输出的是一个两个查询树的列表，与下面语句相同：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       shoelace_data.sl_name, 6,
       current_user, current_timestamp )
  FROM shoelace_data
 WHERE 6 &lt;&gt; shoelace_data.sl_avail
   AND shoelace_data.sl_name = 'sl7';

UPDATE shoelace_data SET sl_avail = 6
 WHERE sl_name = 'sl7';</pre>
<p>这就是执行的顺序以及规则要做的事情。</p>
<p>做的替换和追加的条件用于确保如果原始的查询是下面这样</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data SET sl_color = 'green'
 WHERE sl_name = 'sl7';</pre>
<p>就不会有日期记录写到表里。因为这回原始查询树不包含有关 <tt class="LITERAL">sl_avail</tt> 的目标列表，<tt class="LITERAL">NEW.sl_avail</tt> 将被 <tt class="LITERAL">shoelace_data.sl_avail</tt> 代替，所以，规则生成的额外命令是：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log VALUES (
       shoelace_data.sl_name, <b class="EMPHASIS">shoelace_data.sl_avail</b>,
       current_user, current_timestamp )
  FROM shoelace_data
 WHERE <b class="EMPHASIS">shoelace_data.sl_avail</b> &lt;&gt; shoelace_data.sl_avail
   AND shoelace_data.sl_name = 'sl7';</pre>
<p>并且条件将永远不可能是真值。</p>
<p>如果最初的查询修改多个行，它也能运行。所以如果写出下面命令</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data SET sl_avail = 0
 WHERE sl_color = 'black';</pre>
<p>实际上有四行被更新(<tt class="LITERAL">sl1</tt>, <tt class="LITERAL">sl2</tt>, <tt class="LITERAL">sl3</tt>, <tt class="LITERAL">sl4</tt>)。但 <tt class="LITERAL">sl3</tt> 已经是 <tt class="LITERAL">sl_avail = 0</tt> 。这回，原始的查询树条件已经不一样了，结果是规则生成下面的额外查询树</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log
SELECT shoelace_data.sl_name, 0,
       current_user, current_timestamp
  FROM shoelace_data
 WHERE 0 &lt;&gt; shoelace_data.sl_avail
   AND <b class="EMPHASIS">shoelace_data.sl_color = 'black'</b>;</pre>
<p>这个查询树将肯定插入三个新的日志记录。这也是完全正确的。</p>
<p>到这里就明白为什么原始查询树最后执行非常重要。如果 <tt class="COMMAND">UPDATE</tt> 将先被执行，所有的行都已经设为零，所以记日志的 <tt class="COMMAND">INSERT</tt> 将不能找到任何符合 <tt class="LITERAL">0 &lt;&gt; shoelace_data.sl_avail</tt> 条件的行。</p>
</div>
</div>
<div class="SECT2"><h2 class="SECT2"><a name="RULES-UPDATE-VIEWS">35.3.2. 与视图合作</a></h2><a name="AEN38980"></a>
<p>一个保护视图关系，使其避免有人可以在其中 <tt class="COMMAND">INSERT</tt>, <tt class="COMMAND">UPDATE</tt>, <tt class="COMMAND">DELETE</tt> 不可见数据的简单方法是让那些查询树被丢弃。创建下面规则</p>
<pre class="PROGRAMLISTING">CREATE RULE shoe_ins_protect AS ON INSERT TO shoe
    DO INSTEAD NOTHING;
CREATE RULE shoe_upd_protect AS ON UPDATE TO shoe
    DO INSTEAD NOTHING;
CREATE RULE shoe_del_protect AS ON DELETE TO shoe
    DO INSTEAD NOTHING;</pre>
<p>如果现在任何人试图对视图关系 <tt class="LITERAL">shoe</tt> 做上面的任何操作，规则系统将应用这些规则。因为这些规则没有动作而且是 <tt class="LITERAL">INSTEAD</tt> ，结果是生成的查询树将是空的并且整个查询将变得空空如也，因为经过规则系统处理后没有什么东西剩下来用于优化或执行了。</p>
<p>一个更复杂的使用规则系统的方法是用规则系统创建一个重写查询树的规则，使查询树对真实的表进行正确的操作。要在视图 <tt class="LITERAL">shoelace</tt> 上做这个工作，创建下面规则：</p>
<pre class="PROGRAMLISTING">CREATE RULE shoelace_ins AS ON INSERT TO shoelace
    DO INSTEAD
    INSERT INTO shoelace_data VALUES (
           NEW.sl_name,
           NEW.sl_avail,
           NEW.sl_color,
           NEW.sl_len,
           NEW.sl_unit
    );

CREATE RULE shoelace_upd AS ON UPDATE TO shoelace
    DO INSTEAD
    UPDATE shoelace_data
       SET sl_name = NEW.sl_name,
           sl_avail = NEW.sl_avail,
           sl_color = NEW.sl_color,
           sl_len = NEW.sl_len,
           sl_unit = NEW.sl_unit
     WHERE sl_name = OLD.sl_name;

CREATE RULE shoelace_del AS ON DELETE TO shoelace
    DO INSTEAD
    DELETE FROM shoelace_data
     WHERE sl_name = OLD.sl_name;</pre>
<p>如果你打算在视图上支持 <tt class="LITERAL">RETURNING</tt> 查询，就要让规则包含 <tt class="LITERAL">RETURNING</tt> 计算视图行数的子句。这对于基于单个表的视图来说通常非常琐碎，但是连接诸如 <tt class="LITERAL">shoelace</tt> 之类的视图很单调乏味。一个插入情况的例子如下：</p>
<pre class="PROGRAMLISTING">CREATE RULE shoelace_ins AS ON INSERT TO shoelace
    DO INSTEAD
    INSERT INTO shoelace_data VALUES (
           NEW.sl_name,
           NEW.sl_avail,
           NEW.sl_color,
           NEW.sl_len,
           NEW.sl_unit
    )
    RETURNING
           shoelace_data.*,
           (SELECT shoelace_data.sl_len * u.un_fact
            FROM unit u WHERE shoelace_data.sl_unit = u.un_name);</pre>
<p>注意，这个规则同时支持该视图上的 <tt class="COMMAND">INSERT</tt> 和 <tt class="COMMAND">INSERT RETURNING</tt> 查询， <tt class="COMMAND">INSERT</tt> 将简单的忽略 <tt class="LITERAL">RETURNING</tt> 子句。</p>
<p>假设现在有一包鞋带到达商店，而且这是一大笔到货。但是不想每次都手工更新 <tt class="LITERAL">shoelace</tt> 视图。取而代之的是创建了两个小表：一个是可以从到货清单中插入东西，另一个是一个特殊的技巧。创建这些的命令如下：</p>
<pre class="PROGRAMLISTING">CREATE TABLE shoelace_arrive (
    arr_name    text,
    arr_quant   integer
);

CREATE TABLE shoelace_ok (
    ok_name     text,
    ok_quant    integer
);

CREATE RULE shoelace_ok_ins AS ON INSERT TO shoelace_ok
    DO INSTEAD
    UPDATE shoelace
       SET sl_avail = sl_avail + NEW.ok_quant
     WHERE sl_name = NEW.ok_name;</pre>
<p>现在你可以用来自部件列表的数据填充表 <tt class="LITERAL">shoelace_arrive</tt> 了：</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace_arrive;

 arr_name | arr_quant
----------+-----------
 sl3      |        10
 sl6      |        20
 sl8      |        20
(3 rows)</pre>
<p>让我们迅速地看一眼当前的数据，</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace;

 sl_name  | sl_avail | sl_color | sl_len | sl_unit | sl_len_cm
----------+----------+----------+--------+---------+-----------
 sl1      |        5 | black    |     80 | cm      |        80
 sl2      |        6 | black    |    100 | cm      |       100
 sl7      |        6 | brown    |     60 | cm      |        60
 sl3      |        0 | black    |     35 | inch    |      88.9
 sl4      |        8 | black    |     40 | inch    |     101.6
 sl8      |        1 | brown    |     40 | inch    |     101.6
 sl5      |        4 | brown    |      1 | m       |       100
 sl6      |        0 | brown    |    0.9 | m       |        90
(8 rows)</pre>
<p>把到货鞋带移到(shoelace_ok)中：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_ok SELECT * FROM shoelace_arrive;</pre>
<p>然后检查结果</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace ORDER BY sl_name;

 sl_name  | sl_avail | sl_color | sl_len | sl_unit | sl_len_cm
----------+----------+----------+--------+---------+-----------
 sl1      |        5 | black    |     80 | cm      |        80
 sl2      |        6 | black    |    100 | cm      |       100
 sl7      |        6 | brown    |     60 | cm      |        60
 sl4      |        8 | black    |     40 | inch    |     101.6
 sl3      |       10 | black    |     35 | inch    |      88.9
 sl8      |       21 | brown    |     40 | inch    |     101.6
 sl5      |        4 | brown    |      1 | m       |       100
 sl6      |       20 | brown    |    0.9 | m       |        90
(8 rows)

SELECT * FROM shoelace_log;

 sl_name | sl_avail | log_who| log_when
---------+----------+--------+----------------------------------
 sl7     |        6 | Al     | Tue Oct 20 19:14:45 1998 MET DST
 sl3     |       10 | Al     | Tue Oct 20 19:25:16 1998 MET DST
 sl6     |       20 | Al     | Tue Oct 20 19:25:16 1998 MET DST
 sl8     |       21 | Al     | Tue Oct 20 19:25:16 1998 MET DST
(4 rows)</pre>
<p>从 <tt class="LITERAL">INSERT ... SELECT</tt> 语句到这个结果经过了长长的一段过程。而且对它的描述将是本文档的最后。首先是生成分析器输出</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_ok
SELECT shoelace_arrive.arr_name, shoelace_arrive.arr_quant
  FROM shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok;</pre>
<p>现在应用第一条规则 <tt class="LITERAL">shoelace_ok_ins</tt> 把它转换成</p>
<pre class="PROGRAMLISTING">UPDATE shoelace
   SET sl_avail = shoelace.sl_avail + shoelace_arrive.arr_quant
  FROM shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       shoelace_ok *OLD*, shoelace_ok *NEW*,
       shoelace shoelace
 WHERE shoelace.sl_name = shoelace_arrive.arr_name;</pre>
<p>并且把原始的对 <tt class="LITERAL">shoelace_ok</tt> 的 <tt class="COMMAND">INSERT</tt> 丢弃掉。这样重写后的查询再次传入规则系统并且第二次应用了规则 <tt class="LITERAL">shoelace_upd</tt> 生成</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data
   SET sl_name = shoelace.sl_name,
       sl_avail = shoelace.sl_avail + shoelace_arrive.arr_quant,
       sl_color = shoelace.sl_color,
       sl_len = shoelace.sl_len,
       sl_unit = shoelace.sl_unit
  FROM shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       shoelace_ok *OLD*, shoelace_ok *NEW*,
       shoelace shoelace, shoelace *OLD*,
       shoelace *NEW*, shoelace_data shoelace_data
 WHERE shoelace.sl_name = shoelace_arrive.arr_name
   AND shoelace_data.sl_name = shoelace.sl_name;</pre>
<p>同样这是一个 <tt class="LITERAL">INSTEAD</tt> 规则并且前一个查询树被丢弃掉。注意这个查询仍然是使用视图 <tt class="LITERAL">shoelace</tt> ，但是规则系统还没有完成这一步，所以它继续在这上面应用规则 <tt class="LITERAL">_RETURN</tt> ，然后得到</p>
<pre class="PROGRAMLISTING">UPDATE shoelace_data
   SET sl_name = s.sl_name,
       sl_avail = s.sl_avail + shoelace_arrive.arr_quant,
       sl_color = s.sl_color,
       sl_len = s.sl_len,
       sl_unit = s.sl_unit
  FROM shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       shoelace_ok *OLD*, shoelace_ok *NEW*,
       shoelace shoelace, shoelace *OLD*,
       shoelace *NEW*, shoelace_data shoelace_data,
       shoelace *OLD*, shoelace *NEW*,
       shoelace_data s, unit u
 WHERE s.sl_name = shoelace_arrive.arr_name
   AND shoelace_data.sl_name = s.sl_name;</pre>
<p>最后，应用规则 <tt class="LITERAL">log_shoelace</tt> ，生成额外的查询树</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log
SELECT s.sl_name,
       s.sl_avail + shoelace_arrive.arr_quant,
       current_user,
       current_timestamp
  FROM shoelace_arrive shoelace_arrive, shoelace_ok shoelace_ok,
       shoelace_ok *OLD*, shoelace_ok *NEW*,
       shoelace shoelace, shoelace *OLD*,
       shoelace *NEW*, shoelace_data shoelace_data,
       shoelace *OLD*, shoelace *NEW*,
       shoelace_data s, unit u,
       shoelace_data *OLD*, shoelace_data *NEW*
       shoelace_log shoelace_log
 WHERE s.sl_name = shoelace_arrive.arr_name
   AND shoelace_data.sl_name = s.sl_name
   AND (s.sl_avail + shoelace_arrive.arr_quant) &lt;&gt; s.sl_avail;</pre>
<p>这样，在规则系统用完所有的规则后返回生成的查询树。</p>
<p>所以最终得到两个等效于下面 SQL 语句的查询树</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace_log
SELECT s.sl_name,
       s.sl_avail + shoelace_arrive.arr_quant,
       current_user,
       current_timestamp
  FROM shoelace_arrive shoelace_arrive, shoelace_data shoelace_data,
       shoelace_data s
 WHERE s.sl_name = shoelace_arrive.arr_name
   AND shoelace_data.sl_name = s.sl_name
   AND s.sl_avail + shoelace_arrive.arr_quant &lt;&gt; s.sl_avail;

UPDATE shoelace_data
   SET sl_avail = shoelace_data.sl_avail + shoelace_arrive.arr_quant
  FROM shoelace_arrive shoelace_arrive,
       shoelace_data shoelace_data,
       shoelace_data s
 WHERE s.sl_name = shoelace_arrive.sl_name
   AND shoelace_data.sl_name = s.sl_name;</pre>
<p>结果是从一个关系来的数据插入到另一个中，到了第三个中变成更新，在到第四个中变成更新加上记日志，最后在第五个规则中缩减为两个查询。</p>
<p>有一个小细节有点让人难受。看看生成的两个查询，会发现 <tt class="LITERAL">shoelace_data</tt> 关系在范围表中出现了两次而实际上绝对可以缩为一次。因为规划器不处理这些，所以对规则系统输出的 <tt class="COMMAND">INSERT</tt> 的执行规划会是</p>
<pre class="LITERALLAYOUT">Nested Loop
  -&gt;  Merge Join
        -&gt;  Seq Scan
              -&gt;  Sort
                    -&gt;  Seq Scan on s
        -&gt;  Seq Scan
              -&gt;  Sort
                    -&gt;  Seq Scan on shoelace_arrive
  -&gt;  Seq Scan on shoelace_data</pre>
<p>在省略多余的范围表后的结果将是</p>
<pre class="LITERALLAYOUT">Merge Join
  -&gt;  Seq Scan
        -&gt;  Sort
              -&gt;  Seq Scan on s
  -&gt;  Seq Scan
        -&gt;  Sort
              -&gt;  Seq Scan on shoelace_arrive</pre>
<p>这也会在日志关系中生成完全一样的记录。因此，规则系统导致对表 <tt class="LITERAL">shoelace_data</tt> 的一次多余的扫描，而且同样多余的扫描会在 <tt class="COMMAND">UPDATE</tt> 里也一样多做一次。不过要想把这些不足去掉是一样太困难的活了。</p>
<p>最后对 PostgreSQL 规则系统及其功能做一个演示。假设你向你的数据库中添加一些比较罕见的鞋带：</p>
<pre class="PROGRAMLISTING">INSERT INTO shoelace VALUES ('sl9', 0, 'pink', 35.0, 'inch', 0.0);
INSERT INTO shoelace VALUES ('sl10', 1000, 'magenta', 40.0, 'inch', 0.0);</pre>
<p>建立一个视图检查哪种 <tt class="LITERAL">shoelace</tt> 记录在颜色上和任何鞋子都不相配。用于这个的视图是</p>
<pre class="PROGRAMLISTING">CREATE VIEW shoelace_mismatch AS
    SELECT * FROM shoelace WHERE NOT EXISTS
        (SELECT shoename FROM shoe WHERE slcolor = sl_color);</pre>
<p>它的输出是</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace_mismatch;

 sl_name | sl_avail | sl_color | sl_len | sl_unit | sl_len_cm
---------+----------+----------+--------+---------+-----------
 sl9     |        0 | pink     |     35 | inch    |      88.9
 sl10    |     1000 | magenta  |     40 | inch    |     101.6</pre>
<p>现在想这样设置：没有库存的不匹配的鞋带都从数据库中删除。为了让这事对 PostgreSQL 有点难度，不直接删除它们。取而代之的是再创建一个视图</p>
<pre class="PROGRAMLISTING">CREATE VIEW shoelace_can_delete AS
    SELECT * FROM shoelace_mismatch WHERE sl_avail = 0;</pre>
<p>然后用下面方法做：</p>
<pre class="PROGRAMLISTING">DELETE FROM shoelace WHERE EXISTS
    (SELECT * FROM shoelace_can_delete
             WHERE sl_name = shoelace.sl_name);</pre>
<p>所以：</p>
<pre class="PROGRAMLISTING">SELECT * FROM shoelace;

 sl_name | sl_avail | sl_color | sl_len | sl_unit | sl_len_cm
---------+----------+----------+--------+---------+-----------
 sl1     |        5 | black    |     80 | cm      |        80
 sl2     |        6 | black    |    100 | cm      |       100
 sl7     |        6 | brown    |     60 | cm      |        60
 sl4     |        8 | black    |     40 | inch    |     101.6
 sl3     |       10 | black    |     35 | inch    |      88.9
 sl8     |       21 | brown    |     40 | inch    |     101.6
 sl10    |     1000 | magenta  |     40 | inch    |     101.6
 sl5     |        4 | brown    |      1 | m       |       100
 sl6     |       20 | brown    |    0.9 | m       |        90
(9 rows)</pre>
<p>对一个视图的 <tt class="COMMAND">DELETE</tt> ，这个视图带有一个总共使用了四个嵌套/连接的视图的子查询条件，这四个视图之一本身有一个拥有对一个视图的子查询条件，该条件计算使用的视图的列；最后重写成了一个查询树，该查询树从一个真正的表里面把需要删除的数据删除。</p>
<p>我想在现实世界里只有很少的机会需要上面的这样的构造。但这些东西能运转肯定让你舒服。</p>
</div>
</div>
<div>
<hr align="LEFT" width="100%">
<table summary="Footer navigation table" width="100%" border="0" cellpadding="0" cellspacing="0">
<tr><td width="33%" align="left" valign="top"><a href="rules-views.html" accesskey="P">后退</a></td><td width="34%" align="center" valign="top"><a href="index.html" accesskey="H">首页</a></td><td width="33%" align="right" valign="top"><a href="rules-privileges.html" accesskey="N">前进</a></td></tr>
<tr><td width="33%" align="left" valign="top">视图和规则系统</td><td width="34%" align="center" valign="top"><a href="rules.html" accesskey="U">上一级</a></td><td width="33%" align="right" valign="top">规则和权限</td></tr>
</table>
</div>
</body></html>